Deduction theorem - PDFSEARCH.IO - Document Search Engine

Deduction theorem
Results: 172

#	Item
71	Published in The Aristotelian Society supplementary volume[removed]), pp[removed]BLIND REASONING by Paul Boghossian and Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:45 Logical consequence Logical syntax Deduction Modus ponens Inference Disjunctive syllogism Paul Boghossian Entailment Deduction theorem Logic Rules of inference Propositional calculus
72	normal proofs, cut free derivations and structural rules Greg Restall* School of Historical and Philosophical Studies, The University of Melbourne, Add to Reading List Source URL: consequently.org Language: English - Date: 2015-02-12 20:35:36 Mathematics Propositional calculus Deduction Natural deduction System L Modus ponens Cut-elimination theorem Sequent calculus Rule of inference Logic Mathematical logic Proof theory
73	Temporal Action Logic for Question Answering in an Adventure Game Martin MAGNUSSON and Patrick DOHERTY Department of Computer and Information Science Linköping University, [removed]Linköping, Sweden E-mail: {marma,patdo} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:37:07 Reasoning Epistemology Artificial intelligence Knowledge representation Logic programming Automated theorem proving Reason Frame problem Natural deduction Logic Mathematical logic Science
74	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic
75	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming
76	Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:44:56 Deduction Entailment 3APL Logic Multi-agent systems 2APL
77	Interpolation for a sequent calculus of generalized quantiers Natasha Alechina FWI, University of Amsterdam Pl. Muidergracht 24, 1018 TV Amsterdam The Netherlands Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-27 15:47:34 Mathematics Sequent calculus First-order logic Function Cut-elimination theorem Natural deduction Sequent Mathematical logic Proof theory Logic
78	Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 08:44:44 Deduction Entailment 3APL Logic Multi-agent systems 2APL
79	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
80	The Effect of Syntactic Form on Simple Belief Revisions and Updates Renée Elio Department of Computing Science University of Alberta Edmonton, Alberta T6G 2H1 Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2004-03-31 23:15:51 Logical truth Dichotomies Modus tollens Modus ponens Belief revision Validity Epistemology Deduction theorem Logic Rules of inference Propositional calculus

UPDATE